Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science

Source URL: eprint.iacr.org

• Cryptocurrencies
• Blockchains
• Economy
• Bitcoin
• Computing
• Money
• Alternative currencies
• Ethereum
• Lightning Network
• Smart contract
• RootStock
• Rebalancing investments

Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ

Source URL: www.purdue.edu

• Planetary science
• Planetary geology
• Astronomy
• Nature
• Lunar science
• Impact crater
• Meteorite
• Secondary crater
• Impact event
• Meteoroid
• Hypervelocity
• Meteor Crater

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Cluster analysis
• Data mining
• Geostatistics
• Data analysis
• Computational statistics
• Hierarchical clustering
• K-means clustering
• Computer cluster
• Consensus clustering
• Spectral clustering

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Source URL: www.bowaggoner.com

Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Applied mathematics
• Boolean algebra
• Experiment
• Measure theory
• Sigma-algebra
• Markov decision process
• Game theory
• Mathematical optimization

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: qav.comlab.ox.ac.uk

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Stochastic game
• Markov chain
• Determinacy
• Game theory
• Strategy
• Probabilistic automaton
• Markov decision process
• Stochastic process

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca